Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
نویسندگان
چکیده
منابع مشابه
Solving Hard Qualitative Temporal Reasoning Problems Evaluating the E ciency of Using the ORD Horn Class
While the worst case computational properties of Allen s calculus for qualitative temporal reasoning have been analyzed quite extensively the determination of the empirical e ciency of algorithms for solving the con sistency problem in this calculus has received only little research atten tion In this paper we will demonstrate that using the ORD Horn class in Ladkin and Reinefeld s backtracking...
متن کاملSolving Hard Qualitative Temporal Reasoning Problems: Evaluating the Eeciency of Using the Ord-horn Class
While the worst-case computational properties of Allen's calculus for qualitative temporal reasoning have been analyzed quite extensively, the determination of the empirical eeciency of algorithms for solving the consistency problem in this calculus has received only little research attention. In this paper, we will demonstrate that using the ORD-Horn class in Ladkin and Reinefeld's backtrackin...
متن کاملassessment of the efficiency of s.p.g.c refineries using network dea
data envelopment analysis (dea) is a powerful tool for measuring relative efficiency of organizational units referred to as decision making units (dmus). in most cases dmus have network structures with internal linking activities. traditional dea models, however, consider dmus as black boxes with no regard to their linking activities and therefore do not provide decision makers with the reasons...
Solving Overconstrained Temporal Reasoning Problems
Representing and reasoning with temporal information is an essential part of many tasks in AI such as scheduling planning and nat ural language processing Two in uential frameworks for representing temporal information are interval algebra and point algebra Given a knowledge base consisting of temporal relations the main reasoning problem is to determine whether this knowledge base is satis abl...
متن کاملHole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems
The capability of determining the right physical action to achieve a given task is essential for AI that interacts with the physical world. The great difficulty in developing this capability has two main causes: (1) the world is continuous and therefore the action space is infinite, (2) due to noisy perception, we do not know the exact physical properties of our environment and therefore cannot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 1997
ISSN: 1383-7133,1572-9354
DOI: 10.1007/bf00137869